fun call f arg = print ((Word32.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Word32.toString x ^ " + " ^ Word32.toString y ^ " = ")
                 ; call Word32.+ (x, y)
                 ; print (Word32.toString x ^ " - " ^ Word32.toString y ^ " = ")
                 ; call Word32.- (x, y)
                 ; print (Word32.toString x ^ " * " ^ Word32.toString y ^ " = ")
                 ; call Word32.* (x, y)
                 ; print (Word32.toString x ^ " div " ^ Word32.toString y ^ " = ")
                 ; call Word32.div (x, y)
                 ; print (Word32.toString x ^ " mod " ^ Word32.toString y ^ " = ")
                 ; call Word32.mod (x, y)
                 ; print (Word32.toString x ^ " andb " ^ Word32.toString y ^ " = ")
                 ; call Word32.andb (x, y)
                 ; print (Word32.toString x ^ " orb " ^ Word32.toString y ^ " = ")
                 ; call Word32.orb (x, y)
                 ; print (Word32.toString x ^ " xorb " ^ Word32.toString y ^ " = ")
                 ; call Word32.xorb (x, y)
                 );
fun un x = ( print ("~ " ^ Word32.toString x ^ " = ")
           ; call Word32.~ x
           ; print ("notb " ^ Word32.toString x ^ " = ")
           ; call Word32.notb x
           ; print (Word32.toString x ^ " << 0w0 = ")
           ; call (fn x => Word32.<< (x, 0w0)) x
           ; print (Word32.toString x ^ " << 0w2 = ")
           ; call (fn x => Word32.<< (x, 0w2)) x
           ; print (Word32.toString x ^ " << 0w10 = ")
           ; call (fn x => Word32.<< (x, 0w10)) x
           ; print (Word32.toString x ^ " << 0w20 = ")
           ; call (fn x => Word32.<< (x, 0w20)) x
           ; print (Word32.toString x ^ " << 0w31 = ")
           ; call (fn x => Word32.<< (x, 0w31)) x
           ; print (Word32.toString x ^ " << 0w63 = ")
           ; call (fn x => Word32.<< (x, 0w63)) x
           ; print (Word32.toString x ^ " << 0w64 = ")
           ; call (fn x => Word32.<< (x, 0w64)) x
           ; print (Word32.toString x ^ " << 0w65 = ")
           ; call (fn x => Word32.<< (x, 0w65)) x
           ; print (Word32.toString x ^ " >> 0w0 = ")
           ; call (fn x => Word32.>> (x, 0w0)) x
           ; print (Word32.toString x ^ " >> 0w2 = ")
           ; call (fn x => Word32.>> (x, 0w2)) x
           ; print (Word32.toString x ^ " >> 0w10 = ")
           ; call (fn x => Word32.>> (x, 0w10)) x
           ; print (Word32.toString x ^ " >> 0w20 = ")
           ; call (fn x => Word32.>> (x, 0w20)) x
           ; print (Word32.toString x ^ " >> 0w31 = ")
           ; call (fn x => Word32.>> (x, 0w31)) x
           ; print (Word32.toString x ^ " >> 0w63 = ")
           ; call (fn x => Word32.>> (x, 0w63)) x
           ; print (Word32.toString x ^ " >> 0w64 = ")
           ; call (fn x => Word32.>> (x, 0w64)) x
           ; print (Word32.toString x ^ " >> 0w65 = ")
           ; call (fn x => Word32.>> (x, 0w65)) x
           ; print (Word32.toString x ^ " ~>> 0w0 = ")
           ; call (fn x => Word32.~>> (x, 0w0)) x
           ; print (Word32.toString x ^ " ~>> 0w2 = ")
           ; call (fn x => Word32.~>> (x, 0w2)) x
           ; print (Word32.toString x ^ " ~>> 0w10 = ")
           ; call (fn x => Word32.~>> (x, 0w10)) x
           ; print (Word32.toString x ^ " ~>> 0w20 = ")
           ; call (fn x => Word32.~>> (x, 0w20)) x
           ; print (Word32.toString x ^ " ~>> 0w31 = ")
           ; call (fn x => Word32.~>> (x, 0w31)) x
           ; print (Word32.toString x ^ " ~>> 0w63 = ")
           ; call (fn x => Word32.~>> (x, 0w63)) x
           ; print (Word32.toString x ^ " ~>> 0w64 = ")
           ; call (fn x => Word32.~>> (x, 0w64)) x
           ; print (Word32.toString x ^ " ~>> 0w65 = ")
           ; call (fn x => Word32.~>> (x, 0w65)) x
           (* ; print ("fmt BIN " ^ Word32.toString x ^ " = ")
           ; callS (Word32.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Word32.toString x ^ " = ")
           ; callS (Word32.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Word32.toString x ^ " = ")
           ; callS (Word32.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Word32.toString x ^ " = ")
           ; callS (Word32.fmt StringCvt.HEX) x
           );
List.app un
[0w0
,0w1
,0w2
,0w3
,0w78
,0w4294967294
,0w4294967295
,0w3292324400
,0w233489047
,0w2624610399
,0w1597242127
,0w1980104912
,0w1321694674
,0w3441975185
,0w1130700311
,0w1305326219
,0w2205018207
,0w2326285812
,0w2296381746
,0w3769793211
,0w2531570565
,0w3207055758
,0w1137426217
,0w2956685048
,0w4256428638
,0w724082012
,0w2138168923
,0w2728019181
,0w2087020671
,0w2189657154
,0w903285257
,0w1992067403
,0w2726019739
,0w1298665594
,0w1408913944
,0w2990988945
,0w3063264480
,0w149517642
,0w1100318882
,0w2752873186
,0w3781215979
,0w2792287775
,0w977698728
,0w118633435
,0w2784537122
,0w1886397906
,0w1695135421
,0w92683336
,0w2971222635
,0w1857154032
,0w3253362045
,0w1756536470
,0w2064999352
,0w510226295
,0w402957727
,0w3185258485
,0w2029903910
];
List.app bin
[(0w0,0w0)
,(0w0,0w1)
,(0w0,0w2)
,(0w0,0w3)
,(0w0,0w99)
,(0w0,0w4294967294)
,(0w0,0w4294967295)
,(0w1,0w0)
,(0w1,0w1)
,(0w1,0w2)
,(0w1,0w3)
,(0w1,0w99)
,(0w1,0w4294967294)
,(0w1,0w4294967295)
,(0w2,0w0)
,(0w2,0w1)
,(0w2,0w2)
,(0w2,0w3)
,(0w2,0w99)
,(0w2,0w4294967294)
,(0w2,0w4294967295)
,(0w3,0w0)
,(0w3,0w1)
,(0w3,0w2)
,(0w3,0w3)
,(0w3,0w99)
,(0w3,0w4294967294)
,(0w3,0w4294967295)
,(0w78,0w0)
,(0w78,0w1)
,(0w78,0w2)
,(0w78,0w3)
,(0w78,0w99)
,(0w78,0w4294967294)
,(0w78,0w4294967295)
,(0w4294967294,0w0)
,(0w4294967294,0w1)
,(0w4294967294,0w2)
,(0w4294967294,0w3)
,(0w4294967294,0w99)
,(0w4294967294,0w4294967294)
,(0w4294967294,0w4294967295)
,(0w4294967295,0w0)
,(0w4294967295,0w1)
,(0w4294967295,0w2)
,(0w4294967295,0w3)
,(0w4294967295,0w99)
,(0w4294967295,0w4294967294)
,(0w4294967295,0w4294967295)
,(0w4215917710,0w1273783043)
,(0w4177603681,0w2519483478)
,(0w2551081296,0w1600714930)
,(0w1785285851,0w1356713293)
,(0w3612894529,0w2436834251)
,(0w563394214,0w107376186)
,(0w1661563011,0w3309688058)
,(0w2418397627,0w2965986951)
,(0w2131451524,0w2395930985)
,(0w2269829661,0w3797361132)
,(0w302275298,0w1076580621)
,(0w2654856684,0w275413662)
,(0w2667254236,0w3911364635)
,(0w1213418167,0w3152940217)
,(0w1994411282,0w4117108160)
,(0w742365891,0w1675638728)
,(0w4199269676,0w3053767964)
,(0w4292800098,0w720167721)
,(0w2138075717,0w261917555)
,(0w1269773714,0w4258162610)
,(0w2395399613,0w273725224)
,(0w3421620563,0w4069954521)
,(0w4228304813,0w1413055983)
,(0w2938043528,0w4021746770)
,(0w788110799,0w4097049174)
,(0w812686863,0w2833785150)
,(0w3957546446,0w1921047940)
,(0w1355976237,0w3371675754)
,(0w655800368,0w2711033978)
,(0w3584862193,0w2576479991)
,(0w3985887922,0w597173342)
,(0w1210185006,0w908188811)
,(0w3395437441,0w1987849011)
,(0w1912160617,0w3184474431)
,(0w2370656567,0w38010927)
,(0w2410745943,0w2530968992)
,(0w923723905,0w3568316593)
,(0w3012827361,0w3255639980)
,(0w2341113691,0w2742978677)
,(0w2515244000,0w1617842860)
,(0w408503297,0w4175997758)
,(0w1484535722,0w2870712884)
,(0w673828611,0w3606262078)
,(0w1425784710,0w1022289287)
,(0w3682135655,0w273476441)
,(0w4217009062,0w1276632997)
,(0w2728558364,0w3292507055)
,(0w1340078575,0w3721255115)
,(0w3212000376,0w917935043)
,(0w2077372541,0w940609624)
,(0w3499757596,0w167710155)
,(0w228794836,0w1086330093)
,(0w4240512335,0w2443867962)
,(0w672161937,0w1499316515)
,(0w2691355691,0w1894859985)
,(0w217859653,0w602592738)
,(0w1340088887,0w3717560573)
,(0w2928763026,0w1878799001)
,(0w3839767314,0w1751224786)
,(0w255503638,0w1553369561)
,(0w2650077176,0w263651577)
,(0w1485400427,0w4182692297)
,(0w2617266416,0w4103736220)
,(0w3053180748,0w911011164)
,(0w806459827,0w450821411)
,(0w1936407232,0w238323965)
,(0w174055710,0w3999888137)
,(0w2973823626,0w271852868)
,(0w1316158829,0w2490281162)
,(0w1714739323,0w686817215)
,(0w2375299925,0w312428057)
,(0w564788687,0w2871941676)
,(0w2011403217,0w2412304081)
,(0w1905275003,0w1814211491)
,(0w4269066454,0w566728799)
,(0w1434737345,0w2377663462)
,(0w4004048373,0w3899761464)
,(0w1667661034,0w519491412)
,(0w861440239,0w766281617)
,(0w3520236092,0w1151440903)
,(0w66593359,0w2654595631)
,(0w577715238,0w1147730587)
,(0w884382979,0w3880994186)
,(0w418260184,0w2757393014)
,(0w1479773155,0w3616964222)
,(0w904510462,0w265503375)
,(0w3358035085,0w3117916251)
,(0w2908679588,0w3950466328)
,(0w1731580064,0w1783465515)
,(0w1316868814,0w398651751)
,(0w2067108662,0w37640927)
,(0w2511499398,0w1639414175)
,(0w143471667,0w1049880320)
,(0w595451661,0w1233382250)
,(0w1432659798,0w3389109579)
,(0w959296382,0w132700398)
,(0w455933325,0w621967223)
,(0w3194508953,0w1257606053)
,(0w2994375689,0w3911973377)
,(0w934574938,0w2972753641)
,(0w2884959448,0w2216963841)
,(0w1729850418,0w2374341802)
,(0w3601084211,0w851094607)
,(0w2280419363,0w374305677)
,(0w3056302930,0w1400227311)
,(0w174123386,0w2816596158)
,(0w2649885661,0w3667807963)
,(0w1430368487,0w577913417)
,(0w4062976346,0w3906096452)
,(0w112003553,0w1997519883)
,(0w1406462550,0w3898638558)
,(0w3068950151,0w4278893813)
,(0w1029473794,0w2368122273)
,(0w643793315,0w3359391410)
,(0w824060267,0w954610549)
,(0w3412211357,0w711340138)
,(0w3090773139,0w2604815915)
,(0w1305582264,0w287785997)
,(0w512040693,0w3521285537)
,(0w1507141089,0w1736377148)
,(0w3233908535,0w84237932)
,(0w2005497816,0w2027153548)
,(0w2522226560,0w2890091532)
,(0w3599006908,0w256274192)
,(0w1229236386,0w680935349)
,(0w3369555022,0w2411527075)
,(0w2728113732,0w2199877508)
,(0w57156644,0w3654383660)
,(0w846017042,0w2954503802)
,(0w4019025261,0w4236646398)
,(0w2341588457,0w1385008674)
,(0w4272966148,0w2263895719)
,(0w3899636263,0w1227583276)
,(0w1690788162,0w1980215861)
,(0w163450686,0w156365136)
,(0w111013641,0w3445265485)
,(0w2169635206,0w1205980780)
,(0w3955234953,0w1158206369)
,(0w3831817871,0w3724975323)
,(0w4050753240,0w2985547164)
,(0w2200858639,0w828108765)
,(0w2817678671,0w3555030950)
,(0w4256466625,0w3782409306)
,(0w1243950817,0w2128192672)
,(0w4036514218,0w1085526526)
,(0w863720238,0w782930327)
,(0w2059292546,0w3547322123)
,(0w3036440059,0w3226864880)
,(0w2906645378,0w1090810332)
,(0w1088420209,0w860538260)
,(0w2101643242,0w462973289)
,(0w3142924017,0w258554067)
,(0w919684028,0w137659156)
,(0w1896555701,0w4274909271)
,(0w454056398,0w1075244565)
,(0w3153028079,0w112378015)
,(0w1566811558,0w2860602775)
,(0w327364680,0w1666589434)
,(0w233082904,0w2719686190)
,(0w1590950912,0w442249118)
,(0w3924962421,0w1127646153)
,(0w2380008048,0w3233731406)
,(0w1269570630,0w3915063701)
,(0w375818800,0w2013426903)
,(0w3528035750,0w351514766)
,(0w3899166217,0w2215083719)
,(0w902345320,0w4096552082)
,(0w1858617180,0w1481992401)
,(0w2604820576,0w3441317401)
,(0w2940666438,0w3628952257)
,(0w3185748270,0w3176921852)
,(0w1413264184,0w1427250828)
,(0w134614653,0w4025724731)
,(0w3378635796,0w2476488456)
,(0w2479198101,0w208891615)
,(0w3729025637,0w1273108714)
,(0w2086354362,0w3129349023)
,(0w2406666952,0w532582139)
,(0w928775703,0w3212157630)
,(0w413286275,0w1191781647)
,(0w2873580285,0w70999010)
,(0w3805158102,0w2939347574)
,(0w3630943972,0w1125041700)
,(0w451340747,0w425993060)
,(0w4018627313,0w1094009414)
,(0w450968493,0w1419574997)
,(0w569560613,0w192188151)
,(0w140978839,0w2194653794)
,(0w4124763499,0w1243309569)
,(0w489622813,0w2970535990)
,(0w1533142553,0w2409336060)
,(0w2281476939,0w1864977470)
,(0w1048235882,0w4177408824)
,(0w293140461,0w4133189976)
,(0w2972808923,0w4076632011)
,(0w971933546,0w3750130261)
,(0w3254801645,0w1348575315)
,(0w3192161257,0w2575501210)
,(0w1098276762,0w1265154459)
,(0w2307083912,0w1741746647)
,(0w481276060,0w4062436125)
,(0w3096478933,0w732457541)
,(0w2224547739,0w1266627625)
,(0w577474645,0w3824619533)
,(0w285675972,0w2140618628)
,(0w77912486,0w4056722485)
,(0w2303873862,0w556801464)
,(0w1888319356,0w3347496979)
,(0w2363757262,0w3829076059)
,(0w2387650602,0w1079164778)
,(0w3361564738,0w1500173441)
,(0w2224806784,0w3197992381)
,(0w447103428,0w3509020602)
,(0w92512975,0w3085313042)
,(0w3865328892,0w276661369)
,(0w3984639590,0w3473119990)
,(0w1864426747,0w116780259)
,(0w730963549,0w1469954816)
,(0w2834836762,0w81801061)
,(0w3202231070,0w1997792825)
,(0w2841096422,0w2917817348)
,(0w1701509314,0w2665364526)
,(0w2921853013,0w691950272)
,(0w889077947,0w3375627542)
,(0w3218761841,0w2695101436)
,(0w3755521057,0w3695185979)
,(0w1486968956,0w1727223786)
,(0w3099636252,0w2805237919)
,(0w480819603,0w2630182799)
,(0w1223225750,0w3724680723)
,(0w2326409880,0w2808913490)
,(0w3953894042,0w1668161866)
,(0w731638667,0w1406082536)
,(0w3739350048,0w1453919933)
,(0w3776435652,0w1468047195)
,(0w2247513262,0w3728276181)
,(0w2768343558,0w1611043787)
,(0w289468892,0w3740849111)
,(0w1271827306,0w2454514740)
,(0w206315502,0w1288469127)
,(0w4231136370,0w722903648)
,(0w3749022689,0w3085618391)
,(0w183973381,0w1901117773)
,(0w2785646385,0w1323836141)
,(0w2122372607,0w2981319818)
,(0w3910130448,0w3457968243)
,(0w3090405826,0w3127079413)
,(0w1462694808,0w553529667)
,(0w3423095573,0w1127985524)
,(0w2844972153,0w1393245081)
,(0w3738233781,0w3733000020)
,(0w2484075096,0w2191621250)
,(0w2914557397,0w606609113)
,(0w3921185779,0w2971582691)
,(0w2990858465,0w1152580432)
,(0w673201535,0w3860705206)
,(0w3312306132,0w3748630778)
,(0w1635223739,0w2360933105)
,(0w3087193887,0w432936143)
,(0w1594456120,0w1939243646)
,(0w612078142,0w3629615573)
,(0w867953636,0w287839685)
,(0w717733336,0w2636243282)
,(0w2926084646,0w489628099)
,(0w1155056717,0w800212437)
,(0w2483465521,0w969143971)
,(0w1074279983,0w581981098)
,(0w851962038,0w615602505)
,(0w3744534529,0w4096803428)
,(0w1541676483,0w2856236402)
,(0w3442706370,0w4080256318)
,(0w835685724,0w2365643839)
,(0w776231151,0w830076271)
,(0w151723471,0w3721112443)
,(0w1932226193,0w2282923092)
,(0w4230612733,0w2087494464)
,(0w2487665866,0w2207834352)
,(0w1180786018,0w3893961643)
,(0w2066235951,0w127065709)
,(0w1528007972,0w668282751)
,(0w2931532080,0w3847646036)
,(0w1447600828,0w537748288)
,(0w3682338874,0w4083962314)
,(0w2452411344,0w1507607695)
,(0w1643432211,0w4146595313)
,(0w95468739,0w4178142204)
,(0w556160109,0w299302742)
,(0w3808023925,0w3495615215)
,(0w1622199435,0w1486523732)
,(0w3503545983,0w859317979)
,(0w2773897294,0w212030471)
,(0w418555232,0w3543112736)
,(0w3538635229,0w3924041728)
,(0w478830502,0w640873690)
,(0w2759304061,0w2390955087)
,(0w132127995,0w2799432324)
,(0w3896812199,0w765295136)
,(0w2702226582,0w2957398406)
,(0w2779335701,0w3035538237)
,(0w1031041914,0w3743466680)
,(0w206218655,0w4179724680)
,(0w1077844803,0w2471035108)
,(0w721723765,0w2798638414)
,(0w268614149,0w3808866524)
,(0w2838731302,0w4049994383)
,(0w672776402,0w632928617)
,(0w1147471846,0w3453188208)
,(0w2848443626,0w3801475439)
,(0w1283223279,0w929249593)
,(0w1961799293,0w845616093)
,(0w418511630,0w4250236280)
,(0w3684804467,0w2572922727)
,(0w1551915153,0w1439420165)
,(0w260280499,0w2447018789)
,(0w2406982027,0w1156780599)
,(0w784329156,0w2297639047)
,(0w2653123943,0w2195906586)
,(0w4098470290,0w3328344789)
,(0w1221107680,0w3150944326)
,(0w4102976162,0w4254401580)
,(0w1984967491,0w960064984)
,(0w3545713357,0w1349681853)
,(0w34455433,0w2353350312)
,(0w758534575,0w802039876)
,(0w1225754843,0w3642636980)
,(0w951775129,0w4044481713)
,(0w3620175373,0w3238619629)
,(0w2122532671,0w3196836218)
,(0w2104526633,0w840859815)
,(0w3168953787,0w1517434897)
,(0w3335742923,0w3541458543)
,(0w136399139,0w2220670451)
,(0w1744159037,0w693924778)
,(0w1808084316,0w3371784584)
,(0w1838878990,0w3882759858)
,(0w355060850,0w1456362398)
,(0w2493112758,0w4001300029)
,(0w3485879508,0w1428189641)
,(0w915459914,0w2845746140)
,(0w1682487293,0w2067706924)
,(0w2941971803,0w137333855)
,(0w2889235553,0w952020515)
,(0w3707179420,0w3843885180)
,(0w1343167297,0w1880532920)
,(0w4093669054,0w2410404996)
,(0w374007654,0w3828142255)
,(0w2930383144,0w1104392174)
,(0w2703871647,0w3457601610)
,(0w3216922902,0w3153802352)
,(0w1985859867,0w2916372032)
,(0w292749896,0w392045862)
,(0w3133743781,0w4231257120)
,(0w975089128,0w2344729534)
,(0w3688923694,0w793612615)
,(0w4275101859,0w862323093)
,(0w1282069649,0w551644865)
,(0w545848516,0w3804206246)
,(0w2785607401,0w2806571638)
,(0w1187642352,0w824313945)
,(0w1577857299,0w794069169)
,(0w2994019781,0w2656244697)
,(0w3238876477,0w2452480085)
,(0w3827517618,0w824254148)
,(0w760939936,0w1691430905)
,(0w1815201857,0w1801644953)
,(0w1187262765,0w4156961619)
,(0w4146759263,0w464558597)
,(0w989729037,0w2341220314)
,(0w3365510069,0w4237435770)
,(0w3666706552,0w3671354931)
,(0w2496968123,0w3679212132)
,(0w3712560037,0w3217319056)
,(0w656417166,0w1971678885)
,(0w504211772,0w2615147623)
,(0w2917692225,0w125945833)
,(0w76019740,0w1840843223)
,(0w2876756248,0w3993255068)
,(0w2975366437,0w4125446094)
,(0w824243157,0w3243975735)
,(0w2613506450,0w672474847)
,(0w1508217335,0w1482054475)
,(0w3617297469,0w447741615)
,(0w2911135074,0w2556589973)
,(0w927213296,0w3296010973)
,(0w1854887313,0w3419711773)
,(0w109894752,0w4044628361)
,(0w665371638,0w1460668726)
,(0w4032095678,0w4124491828)
,(0w761890103,0w683068220)
,(0w2215829441,0w1711367153)
,(0w295152345,0w1382892595)
,(0w3704809533,0w3655458391)
,(0w2180646133,0w2069055451)
,(0w1924055056,0w1442125552)
,(0w3499738544,0w673017495)
,(0w2120977208,0w542629991)
,(0w2099895232,0w2284521519)
,(0w4082625187,0w119252874)
,(0w782022691,0w495860671)
,(0w2088546746,0w2020499608)
,(0w3499267462,0w1574870218)
,(0w3448960886,0w1331705627)
,(0w2530637279,0w862156935)
,(0w1622810062,0w2305762883)
,(0w1369930697,0w1296859621)
,(0w3788260518,0w871046199)
,(0w2782107605,0w1714899916)
,(0w1993634659,0w2316064028)
,(0w2088466138,0w280207244)
,(0w4247438651,0w4132620715)
,(0w1338764109,0w3920196767)
,(0w3729017456,0w827221548)
,(0w4241884824,0w1940174517)
,(0w3553858318,0w1881296640)
,(0w4174005208,0w85412287)
,(0w4085889186,0w4274317506)
,(0w1033597271,0w717385690)
,(0w2428364315,0w1999681287)
,(0w3509768297,0w133011220)
,(0w3888342664,0w2532095894)
,(0w866882863,0w3450828585)
,(0w2306416527,0w454123307)
,(0w3594641915,0w76940740)
,(0w367812685,0w3905697139)
,(0w2775989466,0w3176897268)
,(0w1828434740,0w162936307)
,(0w3799889297,0w2195758232)
,(0w3196971239,0w3913229395)
,(0w627346338,0w126591564)
,(0w2289556826,0w3423316883)
,(0w2652681333,0w2326811414)
,(0w2962927852,0w3304622100)
,(0w2193675538,0w3292778606)
,(0w3111160787,0w1503105371)
,(0w3994610806,0w2544671964)
,(0w1570170950,0w895334175)
,(0w1372309028,0w335388806)
,(0w771684772,0w1691652040)
,(0w892813276,0w1816148921)
,(0w2149322107,0w2387640437)
,(0w3069974126,0w2071972123)
,(0w3563565734,0w1008521634)
,(0w3974388157,0w1608088544)
,(0w4014510125,0w3818377662)
,(0w1074225544,0w1063938172)
,(0w1009188498,0w2824340992)
,(0w783164515,0w2036478612)
,(0w253877127,0w4116242282)
,(0w1761406588,0w4126005113)
,(0w167778567,0w3710189736)
,(0w2006217378,0w2902058874)
,(0w1448243954,0w3240768758)
,(0w3384508124,0w751283989)
,(0w1004505162,0w1535540864)
,(0w1277626109,0w1005565888)
,(0w975622769,0w3149584932)
,(0w632372624,0w764686674)
,(0w811211045,0w4133521054)
,(0w3381962257,0w2143629073)
,(0w3419462753,0w1348237302)
,(0w2177273922,0w3323382049)
,(0w192270343,0w146729246)
,(0w1602098022,0w1661841215)
,(0w3520385941,0w1065533282)
,(0w1894526029,0w3725453120)
,(0w4231265827,0w2861940372)
,(0w4187878444,0w1183543501)
,(0w2514901748,0w2956507877)
,(0w3583576748,0w3843714381)
,(0w1443430677,0w3318903412)
,(0w1596911853,0w1310772030)
,(0w3292766293,0w3708516177)
,(0w340143800,0w3354344005)
,(0w108099516,0w3491666100)
,(0w2843965279,0w600325410)
,(0w2512425114,0w713639189)
,(0w538743844,0w250786833)
,(0w3687891719,0w1136781093)
,(0w4253141536,0w366286061)
,(0w817867744,0w2014141462)
,(0w4246470300,0w2216389845)
,(0w1065997450,0w2356678723)
,(0w1553074304,0w2962430380)
,(0w2914448064,0w1796131687)
,(0w3412246439,0w3696679504)
,(0w78668057,0w3635644562)
,(0w468604943,0w3500821636)
,(0w2183766411,0w3979350890)
,(0w530477645,0w3004954907)
,(0w2922061172,0w3006719010)
,(0w436339855,0w2072470531)
,(0w953363790,0w358378676)
,(0w1281237283,0w4022034547)
,(0w686252648,0w4054635077)
,(0w4025286838,0w3021809013)
,(0w1275076156,0w2151741552)
,(0w2953775747,0w1964826015)
,(0w2957694164,0w3470997075)
,(0w2357050584,0w1707577918)
,(0w122899805,0w2542653558)
,(0w1715840534,0w1434719556)
,(0w2303716134,0w552688679)
,(0w4160065617,0w1192147911)
,(0w2984156980,0w3798104047)
,(0w864149313,0w3780803548)
,(0w2864162255,0w4049941454)
,(0w490585625,0w882015702)
,(0w3055523815,0w3116759474)
,(0w3114953934,0w1409154452)
,(0w195437002,0w699502095)
,(0w389073773,0w2624805053)
,(0w970518594,0w3603189223)
,(0w1051270507,0w4160845895)
,(0w1517844442,0w4141093962)
,(0w2614667981,0w2164916013)
,(0w380917678,0w4024110905)
,(0w570463569,0w559126413)
,(0w14049552,0w3752457085)
,(0w1383985989,0w1987373462)
,(0w2116142392,0w3202428721)
,(0w1740368634,0w3755720741)
,(0w2024884563,0w4203496259)
,(0w778886083,0w82141440)
,(0w929454727,0w3177149820)
,(0w2929637199,0w3689700749)
,(0w208660915,0w1470636631)
,(0w3898229338,0w3582084822)
,(0w2969787454,0w130230093)
,(0w1641856236,0w2967947727)
,(0w940995500,0w858327958)
,(0w358572417,0w3668362059)
,(0w3031957752,0w3064411778)
,(0w1072271461,0w2726190120)
,(0w2323060964,0w3432415314)
,(0w411681222,0w3826109463)
,(0w2675725137,0w3175148135)
,(0w3031480485,0w3949084197)
,(0w2825475641,0w3054483346)
,(0w3522134806,0w3375743359)
,(0w239795474,0w85617066)
,(0w486032317,0w3059075094)
,(0w1300323359,0w2404305211)
,(0w2532598728,0w2249147064)
,(0w3289338078,0w3001941415)
,(0w3770871324,0w900267191)
,(0w2388782212,0w1285017879)
,(0w4224453741,0w22857967)
,(0w3454275183,0w4153808264)
,(0w2952496427,0w1595932497)
,(0w1807530463,0w3109845575)
,(0w3307699298,0w3326757540)
,(0w3432452392,0w3495378913)
,(0w1877635636,0w1644794723)
,(0w1994295435,0w3593662763)
,(0w1282858110,0w1774063642)
,(0w1391764402,0w2443100563)
,(0w4046833194,0w965660227)
,(0w1823930835,0w1821946672)
,(0w1793567570,0w435202206)
,(0w2350338382,0w359662640)
,(0w3498196118,0w640965000)
,(0w3014484503,0w1979652368)
,(0w1770275655,0w4226007493)
,(0w277760670,0w4085623734)
,(0w1916576534,0w2747328229)
,(0w791260448,0w2988364004)
,(0w998799071,0w3654067601)
,(0w3849085391,0w1762027395)
,(0w604204744,0w3863705179)
,(0w1867851546,0w4187946496)
,(0w2223968365,0w2158700328)
,(0w3968884223,0w3318273212)
,(0w2062578139,0w3356552296)
,(0w1096432947,0w3378822026)
,(0w2389195527,0w4190579668)
,(0w1473076606,0w3476313226)
,(0w2633520143,0w2369407919)
,(0w4191997205,0w4185952727)
,(0w2912463562,0w569565484)
,(0w3671722494,0w908634535)
,(0w3639925999,0w4248611803)
,(0w2426776658,0w216572997)
,(0w1350466593,0w3782850508)
,(0w693552646,0w104635576)
,(0w1310919404,0w1908058684)
,(0w2154873275,0w2790288442)
,(0w1132401322,0w2821352124)
,(0w843512180,0w481026513)
,(0w3236942428,0w121769498)
,(0w3330038140,0w732151274)
,(0w2097295436,0w3903203152)
,(0w4088404482,0w748927050)
,(0w1741444791,0w1563795773)
,(0w2765766236,0w3354135883)
,(0w3907992964,0w4149582368)
,(0w570284026,0w1067140677)
,(0w2783951746,0w16815233)
,(0w1250197615,0w3651191553)
,(0w179977783,0w1632466952)
,(0w2539376317,0w2236531422)
,(0w3780574102,0w1280636480)
,(0w2105313171,0w3124956505)
,(0w821644401,0w2311950997)
,(0w257674173,0w3696528624)
,(0w3233533244,0w2707501279)
,(0w1188476557,0w1760221240)
,(0w3622492118,0w3868160914)
,(0w474929335,0w521077575)
,(0w2977879661,0w3872359064)
,(0w1688684670,0w3293907913)
,(0w3667036921,0w1257370714)
,(0w659727534,0w3952809273)
,(0w3742159557,0w3726024654)
,(0w2755712930,0w14216590)
,(0w1263767336,0w3650425691)
,(0w2555256174,0w3097691210)
,(0w799419147,0w3302719348)
,(0w3740164221,0w2100777654)
,(0w3051878060,0w3452812789)
,(0w3724215129,0w2710398898)
,(0w3445767397,0w1772064780)
,(0w1963631445,0w2312778725)
,(0w2079313445,0w4275541214)
,(0w3128504560,0w1878567270)
,(0w3878845651,0w1334266997)
,(0w1199576326,0w2892221425)
,(0w3076287828,0w290212622)
,(0w354715663,0w2134233859)
,(0w2875345814,0w205650930)
,(0w1346306183,0w2948687158)
,(0w511365960,0w3193516779)
,(0w3082121123,0w2668547585)
,(0w1955844303,0w2089118955)
,(0w1351257774,0w3422047792)
,(0w3518924026,0w1415902957)
,(0w60902219,0w4233767596)
,(0w1307275105,0w3264960630)
,(0w981924239,0w3592161553)
,(0w3919081730,0w1808117589)
,(0w206114044,0w2677267276)
,(0w2116229728,0w2721979513)
,(0w3443909098,0w3799119894)
,(0w775890663,0w4245065365)
,(0w985187649,0w727478619)
,(0w2889743759,0w552690329)
,(0w657977122,0w3536884067)
,(0w3675074163,0w2568024432)
,(0w2345816926,0w2010033814)
,(0w1221829171,0w3180247562)
,(0w2174367893,0w2609684504)
,(0w68776164,0w1159483402)
,(0w2314693111,0w3576959287)
,(0w380073756,0w605934580)
,(0w2537265771,0w1492518383)
,(0w3567248893,0w2550985284)
,(0w3615264830,0w3145584259)
,(0w1376618721,0w1451405269)
,(0w2426329895,0w2901966451)
,(0w439541086,0w799250110)
,(0w88634145,0w404424258)
,(0w2270384417,0w189357428)
,(0w1549464177,0w3289059032)
,(0w2377320619,0w3776170181)
,(0w2925159794,0w1397197160)
,(0w2303373183,0w2564034435)
,(0w1855578993,0w4261884303)
,(0w10203223,0w1884182288)
,(0w3243125500,0w2733683286)
,(0w80058458,0w2473773686)
,(0w794354665,0w118805488)
,(0w4266224808,0w1061616122)
,(0w3236085898,0w2457885673)
,(0w2599592618,0w3560215481)
,(0w1198117029,0w1684600182)
,(0w2961299356,0w2257754296)
,(0w868547402,0w3745328922)
,(0w782437139,0w3497244624)
,(0w1774893806,0w2894998810)
,(0w3285021752,0w293772279)
,(0w3925874340,0w2623912094)
,(0w1029136320,0w1605239159)
,(0w3918123282,0w3658711037)
,(0w212527333,0w1217165024)
,(0w3534671516,0w4184853874)
,(0w4283190179,0w288159205)
,(0w685918338,0w1756455570)
,(0w2738211665,0w1671002180)
,(0w2906259975,0w659514634)
,(0w4083136926,0w885675794)
,(0w252848351,0w2223024057)
,(0w1851690116,0w3607333074)
,(0w4282422716,0w761094658)
,(0w2972979686,0w2789674322)
,(0w1283767487,0w3565996179)
,(0w3440514995,0w2477504853)
,(0w790874169,0w973644941)
,(0w3819692856,0w726841579)
,(0w2430448958,0w3331999432)
,(0w641682175,0w3013208075)
,(0w2283056782,0w2642424133)
,(0w1982719653,0w2226340779)
,(0w571969873,0w4265144951)
,(0w2457348554,0w4088263172)
,(0w742382099,0w3142413551)
,(0w3706184012,0w2466741268)
,(0w1768537833,0w335342851)
,(0w957242274,0w1984559522)
,(0w3542003347,0w1807250845)
,(0w1561066927,0w815712303)
,(0w870702248,0w1886333409)
,(0w202433014,0w2809491932)
,(0w2358565799,0w4018355814)
,(0w836808724,0w1958561517)
,(0w1915629199,0w3117070316)
,(0w209599589,0w2064094779)
,(0w1837505353,0w799548217)
,(0w4124257997,0w516708929)
,(0w889793002,0w3430373535)
,(0w3460593813,0w1823330320)
,(0w1830096990,0w2881315748)
,(0w3921556114,0w1045000760)
,(0w2808040697,0w560604851)
,(0w806664546,0w1567271751)
,(0w3823007155,0w2757493510)
,(0w1955021803,0w3735162266)
,(0w3191066524,0w1887872365)
,(0w997594025,0w2195629429)
,(0w2139949327,0w389182975)
,(0w3667630966,0w395286683)
,(0w1748450171,0w2942853313)
,(0w1861570637,0w1590618789)
,(0w4116679753,0w2455493452)
,(0w897883128,0w2617879707)
,(0w1496017913,0w4091283977)
,(0w176506790,0w112856262)
,(0w461104504,0w2179701356)
,(0w1454520998,0w2039422923)
,(0w2097735252,0w1423168351)
,(0w3309121193,0w3501650958)
,(0w244468409,0w3964992067)
,(0w2965534089,0w1998138436)
,(0w1189650941,0w3587758007)
,(0w2592189074,0w636328522)
,(0w2101607721,0w2823506214)
,(0w1812647535,0w1254438198)
,(0w2854410920,0w2975960079)
,(0w833811095,0w3589378658)
,(0w630596180,0w3284384533)
,(0w3469504717,0w3760751088)
,(0w3043999738,0w1390641379)
,(0w3961218826,0w637089644)
,(0w2855071570,0w3447110545)
,(0w2205782885,0w2972873763)
,(0w2055209182,0w1196176574)
,(0w2902404565,0w2571620528)
,(0w3631292302,0w1118793322)
,(0w939563855,0w2076977517)
,(0w1337821201,0w1703359664)
,(0w1879468374,0w2079803050)
,(0w2764050092,0w1598586964)
,(0w2754450293,0w2059248802)
,(0w290821187,0w3607894915)
,(0w4162803947,0w1943416176)
,(0w1691716869,0w1892306748)
,(0w1783650004,0w1587143994)
,(0w3681838223,0w929239480)
,(0w4104936356,0w4263396585)
,(0w4081748118,0w518645854)
,(0w1178160490,0w1105000071)
,(0w38674878,0w3583991522)
,(0w92908716,0w75230020)
,(0w2552245549,0w744551520)
,(0w2905786514,0w2690108834)
,(0w1730925728,0w1179895457)
,(0w1920967639,0w3073005152)
,(0w1691983501,0w826648937)
,(0w2382107503,0w942825969)
,(0w2558103120,0w3841945587)
,(0w1041963923,0w2503594261)
,(0w1010445932,0w3070537291)
,(0w2131287417,0w177377163)
,(0w986920604,0w3699346246)
,(0w622443077,0w1096541396)
,(0w276507079,0w2183296776)
,(0w711863864,0w129907347)
,(0w2548093744,0w1540563344)
,(0w925229710,0w985846192)
,(0w1913334193,0w1753995340)
,(0w2847325032,0w2334108559)
,(0w2668231736,0w3116826964)
,(0w130318283,0w1730836956)
,(0w1590959829,0w1874877350)
,(0w2942386547,0w3058586800)
,(0w944556206,0w2513202837)
,(0w1029644997,0w1879112253)
,(0w2869029148,0w1819466111)
,(0w77520714,0w184284640)
,(0w1830007500,0w2065165352)
,(0w2574133827,0w446999212)
,(0w3036977902,0w514634734)
,(0w611311663,0w3872032136)
,(0w2063439788,0w1976149258)
,(0w3318775349,0w3995507770)
,(0w2650389919,0w2158431001)
,(0w1415571284,0w1092073332)
,(0w3954689899,0w2700735975)
,(0w3221011808,0w1374050584)
,(0w3275224970,0w1516007138)
,(0w906023047,0w824799673)
,(0w3610108650,0w148106521)
,(0w1827676605,0w2701177931)
,(0w153661969,0w1534558853)
,(0w834575690,0w1387817051)
,(0w185766262,0w2433302665)
,(0w2913929755,0w1501244358)
,(0w1275457057,0w2865303070)
,(0w539932026,0w1294902089)
,(0w1410516965,0w2564743561)
,(0w3061890445,0w3109955398)
,(0w3759662388,0w7670272)
,(0w4286441095,0w1696314050)
,(0w358837814,0w1968654925)
,(0w2491853544,0w120757064)
,(0w2356554184,0w2275724534)
,(0w3950978041,0w2981887774)
,(0w1789908243,0w2510158124)
,(0w484941438,0w2700275072)
,(0w1142978841,0w1974026118)
,(0w3792021021,0w2709013094)
,(0w2906551146,0w3295449702)
,(0w1213553791,0w607934937)
,(0w4022726555,0w234014186)
,(0w2956056791,0w2777041292)
,(0w832680402,0w519598174)
,(0w1369067970,0w2301385463)
,(0w2375344316,0w3935314147)
,(0w320115296,0w2314806779)
,(0w4120277196,0w4056559240)
,(0w319068359,0w515883888)
,(0w85534980,0w594449563)
,(0w2304105305,0w2150472331)
,(0w3598367526,0w770772109)
,(0w1810042673,0w85572929)
,(0w1138124965,0w216272256)
,(0w250402146,0w3824248697)
,(0w1746391860,0w3665527968)
,(0w423785007,0w3189656672)
,(0w3115133113,0w3149944625)
,(0w3906393668,0w3696219422)
,(0w1561767167,0w2989283711)
,(0w3457208537,0w2834844525)
,(0w1381589466,0w1971819453)
,(0w681134124,0w3827978194)
,(0w3898888805,0w2377857797)
,(0w3547360284,0w3846496134)
,(0w1684349007,0w394717508)
,(0w2951468262,0w118847980)
,(0w3417062406,0w1039673170)
,(0w488529757,0w2634072600)
,(0w2190758986,0w894941604)
,(0w923193923,0w1774927528)
,(0w697744777,0w3618527880)
,(0w1529203796,0w4208294628)
,(0w3458058118,0w3847781956)
,(0w2258981610,0w2598872676)
,(0w739984016,0w1409634419)
,(0w1359169585,0w2272802845)
,(0w1136287295,0w4123599258)
,(0w1519540868,0w2529927817)
,(0w2608783406,0w3459666246)
,(0w957808814,0w2416999177)
,(0w3838247837,0w2455764083)
,(0w1890946483,0w1683529944)
,(0w435200640,0w861336045)
,(0w42829342,0w69288633)
,(0w2160573549,0w3947314073)
,(0w60808999,0w777617975)
,(0w3379091543,0w1035481383)
,(0w2771209873,0w1495486104)
,(0w2972132053,0w1248247676)
,(0w895008252,0w2626961650)
,(0w3579222948,0w2741989548)
,(0w1196441357,0w702262105)
,(0w1715818580,0w2629879898)
,(0w1797018966,0w3837151576)
,(0w2737295228,0w3213532203)
,(0w2389173148,0w2854431658)
,(0w880962021,0w1906979637)
,(0w1290334363,0w3133505986)
,(0w506445184,0w1313192917)
,(0w907884647,0w3650054180)
,(0w2303348348,0w1304973349)
,(0w4221390686,0w2182210458)
,(0w1339385738,0w880386189)
,(0w3550102575,0w931741992)
,(0w3416785629,0w1056821757)
,(0w1509549120,0w3285562224)
,(0w2957926315,0w220055641)
,(0w1663863267,0w2679296947)
,(0w2744389350,0w3110180324)
,(0w2586392938,0w372206907)
,(0w4011569486,0w101347248)
,(0w2395419752,0w1323537856)
,(0w2394114294,0w3158055429)
,(0w2945712566,0w1346875767)
,(0w4168428092,0w1410722668)
,(0w2732380361,0w3866130988)
,(0w2126605103,0w689578611)
,(0w3830701960,0w47645277)
,(0w2256780436,0w292117611)
,(0w3636980643,0w1012517257)
,(0w3374352285,0w3517194607)
,(0w2557345996,0w2591424319)
,(0w1624618216,0w2419029654)
,(0w4198400254,0w1453632564)
,(0w1850800360,0w3790462842)
,(0w1774174823,0w1146855852)
,(0w2046571586,0w4138980548)
,(0w3503185574,0w1944497683)
,(0w3572898662,0w603168589)
,(0w2236453571,0w1244130144)
,(0w1784026258,0w945087440)
,(0w1228382605,0w2124334767)
,(0w2540936594,0w3044031229)
,(0w3877196218,0w2151905980)
,(0w2603612807,0w1942032090)
,(0w2228766252,0w1903822601)
,(0w3966735563,0w2279134501)
,(0w1086680958,0w1697889509)
,(0w1436498344,0w534465624)
,(0w1337524635,0w454850608)
,(0w513857885,0w3986115084)
,(0w3887212078,0w3636452355)
,(0w3131392679,0w3467434981)
,(0w3791101274,0w2465596102)
,(0w1622249282,0w639470129)
,(0w281650700,0w2834429924)
,(0w2459304155,0w1923839023)
,(0w2104756411,0w3060059322)
,(0w2052857982,0w3301006197)
,(0w768730337,0w236821134)
,(0w3927814896,0w436501610)
,(0w971031046,0w3498756644)
,(0w1902962543,0w3424909400)
,(0w85483716,0w2587099823)
,(0w3878491460,0w1678467954)
,(0w1047438427,0w3575170909)
,(0w1172449546,0w1128333272)
,(0w1138275494,0w547677356)
,(0w3173487260,0w2378696852)
,(0w1157596524,0w1162517746)
,(0w1455298893,0w981996713)
,(0w507784451,0w35189950)
,(0w1548727788,0w3953885848)
,(0w3104608520,0w1229786231)
,(0w3805276088,0w3778646927)
,(0w1999303633,0w2257395579)
,(0w2284595824,0w1430348323)
,(0w1531494490,0w1315692867)
,(0w81793147,0w1267540569)
,(0w927649642,0w2743598058)
,(0w1184268300,0w1002285881)
,(0w3606072593,0w2552926008)
,(0w739714198,0w956369423)
,(0w46552851,0w1978523547)
,(0w3118514337,0w3748364693)
,(0w3757138311,0w1187240904)
,(0w1976549562,0w2384077137)
,(0w771944112,0w1138017456)
,(0w2025293749,0w197500519)
,(0w2479754003,0w1670564885)
,(0w1977218543,0w852415826)
,(0w332317863,0w25199265)
,(0w2356556549,0w1701178214)
,(0w1315602155,0w3861970695)
,(0w2500734524,0w3136952133)
,(0w3294528098,0w1096110390)
,(0w1385292602,0w2003936379)
,(0w3909159638,0w4036779198)
,(0w7365617,0w405743868)
,(0w3741857770,0w2267779145)
,(0w1415723302,0w863389059)
,(0w1725350248,0w39078586)
,(0w4141225022,0w2344887096)
,(0w2008830490,0w2019535911)
,(0w3114833383,0w13005729)
,(0w346292340,0w1620765031)
,(0w3472187218,0w4294231756)
,(0w3736598032,0w440945154)
,(0w286828051,0w116380987)
,(0w3822922088,0w3279646821)
,(0w368666965,0w4157717848)
,(0w2613643867,0w3196098292)
,(0w123409681,0w3074490719)
,(0w999506335,0w1672578700)
,(0w3123436277,0w1274547620)
,(0w1094826838,0w3728228259)
,(0w1994086692,0w4043238709)
,(0w4114797134,0w3480651843)
,(0w581282862,0w775480251)
];
